(define (problem chainOfRooms)
  (:domain chainOfRooms)
  (:objects r1 r2 r3 r4 r5 r6 r7 r8 r9 r10 r11 r12 r13 r14 r15 r16 r17 r18 r19 r20 r21 r22 r23 r24 r25 r26 r27 r28 r29 r30 r31 r32 r33 r34 r35 r36 r37 r38 r39 r40 r41 r42 r43 r44 r45 r46 r47 r48 r49 r50 r51 r52 r53 r54 r55 r56 r57 r58 r59 r60 r61 r62 r63 r64 r65 r66 r67 r68 r69 r70 - room)
  (:init (agent_position r1)
         (visited r1)
         (light_off r1)
         (light_off r2)
         (light_off r3)
         (light_off r4)
         (light_off r5)
         (light_off r6)
         (light_off r7)
         (light_off r8)
         (light_off r9)
         (light_off r10)
         (light_off r11)
         (light_off r12)
         (light_off r13)
         (light_off r14)
         (light_off r15)
         (light_off r16)
         (light_off r17)
         (light_off r18)
         (light_off r19)
         (light_off r20)
         (light_off r21)
         (light_off r22)
         (light_off r23)
         (light_off r24)
         (light_off r25)
         (light_off r26)
         (light_off r27)
         (light_off r28)
         (light_off r29)
         (light_off r30)
         (light_off r31)
         (light_off r32)
         (light_off r33)
         (light_off r34)
         (light_off r35)
         (light_off r36)
         (light_off r37)
         (light_off r38)
         (light_off r39)
         (light_off r40)
         (light_off r41)
         (light_off r42)
         (light_off r43)
         (light_off r44)
         (light_off r45)
         (light_off r46)
         (light_off r47)
         (light_off r48)
         (light_off r49)
         (light_off r50)
         (light_off r51)
         (light_off r52)
         (light_off r53)
         (light_off r54)
         (light_off r55)
         (light_off r56)
         (light_off r57)
         (light_off r58)
         (light_off r59)
         (light_off r60)
         (light_off r61)
         (light_off r62)
         (light_off r63)
         (light_off r64)
         (light_off r65)
         (light_off r66)
         (light_off r67)
         (light_off r68)
         (light_off r69)
         (adjacent r1 r2)
         (adjacent r2 r3)
         (adjacent r3 r4)
         (adjacent r4 r5)
         (adjacent r5 r6)
         (adjacent r6 r7)
         (adjacent r7 r8)
         (adjacent r8 r9)
         (adjacent r9 r10)
         (adjacent r10 r11)
         (adjacent r11 r12)
         (adjacent r12 r13)
         (adjacent r13 r14)
         (adjacent r14 r15)
         (adjacent r15 r16)
         (adjacent r16 r17)
         (adjacent r17 r18)
         (adjacent r18 r19)
         (adjacent r19 r20)
         (adjacent r20 r21)
         (adjacent r21 r22)
         (adjacent r22 r23)
         (adjacent r23 r24)
         (adjacent r24 r25)
         (adjacent r25 r26)
         (adjacent r26 r27)
         (adjacent r27 r28)
         (adjacent r28 r29)
         (adjacent r29 r30)
         (adjacent r30 r31)
         (adjacent r31 r32)
         (adjacent r32 r33)
         (adjacent r33 r34)
         (adjacent r34 r35)
         (adjacent r35 r36)
         (adjacent r36 r37)
         (adjacent r37 r38)
         (adjacent r38 r39)
         (adjacent r39 r40)
         (adjacent r40 r41)
         (adjacent r41 r42)
         (adjacent r42 r43)
         (adjacent r43 r44)
         (adjacent r44 r45)
         (adjacent r45 r46)
         (adjacent r46 r47)
         (adjacent r47 r48)
         (adjacent r48 r49)
         (adjacent r49 r50)
         (adjacent r50 r51)
         (adjacent r51 r52)
         (adjacent r52 r53)
         (adjacent r53 r54)
         (adjacent r54 r55)
         (adjacent r55 r56)
         (adjacent r56 r57)
         (adjacent r57 r58)
         (adjacent r58 r59)
         (adjacent r59 r60)
         (adjacent r60 r61)
         (adjacent r61 r62)
         (adjacent r62 r63)
         (adjacent r63 r64)
         (adjacent r64 r65)
         (adjacent r65 r66)
         (adjacent r66 r67)
         (adjacent r67 r68)
         (adjacent r68 r69)
         (adjacent r69 r70)
  )
  (:goal (and (visited r1)
              (visited r2)
              (visited r3)
              (visited r4)
              (visited r5)
              (visited r6)
              (visited r7)
              (visited r8)
              (visited r9)
              (visited r10)
              (visited r11)
              (visited r12)
              (visited r13)
              (visited r14)
              (visited r15)
              (visited r16)
              (visited r17)
              (visited r18)
              (visited r19)
              (visited r20)
              (visited r21)
              (visited r22)
              (visited r23)
              (visited r24)
              (visited r25)
              (visited r26)
              (visited r27)
              (visited r28)
              (visited r29)
              (visited r30)
              (visited r31)
              (visited r32)
              (visited r33)
              (visited r34)
              (visited r35)
              (visited r36)
              (visited r37)
              (visited r38)
              (visited r39)
              (visited r40)
              (visited r41)
              (visited r42)
              (visited r43)
              (visited r44)
              (visited r45)
              (visited r46)
              (visited r47)
              (visited r48)
              (visited r49)
              (visited r50)
              (visited r51)
              (visited r52)
              (visited r53)
              (visited r54)
              (visited r55)
              (visited r56)
              (visited r57)
              (visited r58)
              (visited r59)
              (visited r60)
              (visited r61)
              (visited r62)
              (visited r63)
              (visited r64)
              (visited r65)
              (visited r66)
              (visited r67)
              (visited r68)
              (visited r69)
              (visited r70)
         )
  )
)
